Deterministic Turing Machine